The Kiel Curry System KiCS
نویسندگان
چکیده
This paper presents the Kiel Curry System (KiCS) for the lazy functional logic language Curry. Its main features beyond other Curry implementations are: flexible search control by means of search trees, referentially transparent encapsulation and sharing across nondeterminism.
منابع مشابه
KAIST Image Computing System (KICS): A Parallel Architecture for Real-Time Multimedia Platform using Multiple MVPs (TMS32OC8O)
This paper presents an efficient parallel architecture for the real-time multimedia platform using multiple multimedia video processors (MVP; TMS32OC8O), which are fully programmable general-purpose digital signal processors (DSP). We have implemented an efficient parallel system, called the KAIST Image Computing System (KICS) for a multimedia platform and an image processing system. The main a...
متن کاملKAIST image computing system (KICS): A parallel architecture for real-time multimedia data processing
An ecient parallel architecture is proposed for high-performance multimedia data processing using multiple multimedia video processors (MVP; TMS320C80), which are fully programmable general digital signal processors (DSP). This paper describes several requirements for a multimedia data processing system and the system architecture of an image computing system called the KAIST Image Computing S...
متن کاملPros, Cons, and Changing Behavior: an Application in the Use of the Keyboard to Issue Commands
Despite the fact that keyboard issued commands (KICs) are more efficient than other command methods, experienced users often do not adopt them. In order to examine the factors underlying this phenomenon, a study is presented which investigated the relationships between users’ level of knowledge with Microsoft Word, the importance they placed on the costs and benefits of using KICs, and how thes...
متن کاملSequence analysis of Kaposi sarcoma-associated herpesvirus (KSHV) microRNAs in patients with multicentric Castleman disease and KSHV-associated inflammatory cytokine syndrome.
BACKGROUND Kaposi sarcoma-associated herpesvirus (KSHV) encodes 12 pre-microRNAs that yield 25 mature microRNAs. We previously reported phylogenetic analysis of the microRNA-coding region of KSHV from Kaposi sarcoma (KS), primary effusion lymphoma (PEL), and multicentric Castleman disease (MCD) patients. We observed a high level of conservation for most sequences but also a divergent cluster of...
متن کاملMeasuring ligand-receptor binding kinetics and dynamics using k-space image correlation spectroscopy.
Accurate measurements of kinetic rate constants for interacting biomolecules are crucial for understanding the mechanisms underlying intracellular signalling pathways. The magnitude of binding rates plays a very important molecular regulatory role which can lead to very different cellular physiological responses under different conditions. Here, we extend the k-space image correlation spectrosc...
متن کامل